11:14
2026-06-30
theoremsearch.com
ai-research
TheoremGraph: Search 18M+ Mathematical Dependencies
Researchers at the University of Washington released TheoremGraph, a unified dependency graph spanning 18 million+ mathematical statements from arXiv papers and the Lean formal proof assistant. The gr…